home *** CD-ROM | disk | FTP | other *** search
/ Developer Source 5 / developer source - volume 5.iso / dbprd / aug96 / saraf102.gif < prev    next >
Graphics Interchange Format  |  1997-01-15  |  64.4 KB  |  421x462  |  4-bit (16 colors)
   ocr: Given: RCC-S500,ACC12-5500,ACC3-5500 TXNT taking the sum of three accounts( (S1500) TXN2 transferring $200 from ACCI3 toACCT2 TIME EVENT RUNNING SUM (TXN1) TI TXNT begins. $0 12 TXNT reads ACCTT balance $500 andadds toSUM, T3 TANT reads ACCT2 balance $1,000 and adost to SUM. T4 TXN2 begins. $1,000 TS IXN2 reads. and: subtracts $1,000 $200 from. ACCT3. ACCIS=S300. 16 TXN2adds $200toACCT2. $1,000 ACCIZ=9700. 17 TXN2 commits. $1,000 T8 TXNT reads ACCI3 balance $1,300 and adds to SUM. FIGURE 2. Inconsistent analysis problem.